differential measuring instrument - German English Dictionary